d | ρ | Label | ID | ||
---|---|---|---|---|---|
C22xC42:C2 | 64 | C2^2xC4^2:C2 | 128,2153 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C2xC42:C2):1C2 = C24.74D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):1C2 | 128,607 | |
(C2xC42:C2):2C2 = C42:7D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):2C2 | 128,629 | |
(C2xC42:C2):3C2 = C24.174C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):3C2 | 128,631 | |
(C2xC42:C2):4C2 = C25.85C22 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):4C2 | 128,1012 | |
(C2xC42:C2):5C2 = C42:42D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):5C2 | 128,1022 | |
(C2xC42:C2):6C2 = C43:9C2 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):6C2 | 128,1025 | |
(C2xC42:C2):7C2 = C23.179C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):7C2 | 128,1029 | |
(C2xC42:C2):8C2 = C23.191C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):8C2 | 128,1041 | |
(C2xC42:C2):9C2 = C24.542C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):9C2 | 128,1043 | |
(C2xC42:C2):10C2 = C42:13D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):10C2 | 128,1056 | |
(C2xC42:C2):11C2 = C23.224C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):11C2 | 128,1074 | |
(C2xC42:C2):12C2 = C23.234C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):12C2 | 128,1084 | |
(C2xC42:C2):13C2 = C23.236C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):13C2 | 128,1086 | |
(C2xC42:C2):14C2 = C23.241C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):14C2 | 128,1091 | |
(C2xC42:C2):15C2 = C24.217C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):15C2 | 128,1095 | |
(C2xC42:C2):16C2 = C42:15D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):16C2 | 128,1124 | |
(C2xC42:C2):17C2 = C23.295C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):17C2 | 128,1127 | |
(C2xC42:C2):18C2 = C23.311C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):18C2 | 128,1143 | |
(C2xC42:C2):19C2 = C23.313C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):19C2 | 128,1145 | |
(C2xC42:C2):20C2 = C24.249C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):20C2 | 128,1146 | |
(C2xC42:C2):21C2 = C23.315C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):21C2 | 128,1147 | |
(C2xC42:C2):22C2 = C24.289C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):22C2 | 128,1202 | |
(C2xC42:C2):23C2 = C24.290C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):23C2 | 128,1203 | |
(C2xC42:C2):24C2 = C23.374C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):24C2 | 128,1206 | |
(C2xC42:C2):25C2 = C24.293C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):25C2 | 128,1208 | |
(C2xC42:C2):26C2 = C23.377C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):26C2 | 128,1209 | |
(C2xC42:C2):27C2 = C23.379C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):27C2 | 128,1211 | |
(C2xC42:C2):28C2 = C23.382C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):28C2 | 128,1214 | |
(C2xC42:C2):29C2 = C23.385C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):29C2 | 128,1217 | |
(C2xC42:C2):30C2 = C23.398C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):30C2 | 128,1230 | |
(C2xC42:C2):31C2 = C23.400C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):31C2 | 128,1232 | |
(C2xC42:C2):32C2 = C42:22D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):32C2 | 128,1330 | |
(C2xC42:C2):33C2 = C42:23D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):33C2 | 128,1333 | |
(C2xC42:C2):34C2 = C42:25D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):34C2 | 128,1341 | |
(C2xC42:C2):35C2 = C42:26D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):35C2 | 128,1342 | |
(C2xC42:C2):36C2 = C42:27D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):36C2 | 128,1351 | |
(C2xC42:C2):37C2 = C42:28D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):37C2 | 128,1352 | |
(C2xC42:C2):38C2 = C23.524C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):38C2 | 128,1356 | |
(C2xC42:C2):39C2 = C2xC23.C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):39C2 | 128,1614 | |
(C2xC42:C2):40C2 = C2xC23.24D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):40C2 | 128,1624 | |
(C2xC42:C2):41C2 = C2xC23.37D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):41C2 | 128,1625 | |
(C2xC42:C2):42C2 = C24.98D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):42C2 | 128,1628 | |
(C2xC42:C2):43C2 = C2xC42:C22 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):43C2 | 128,1632 | |
(C2xC42:C2):44C2 = C2xC23.19D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):44C2 | 128,1819 | |
(C2xC42:C2):45C2 = C24.115D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):45C2 | 128,1823 | |
(C2xC42:C2):46C2 = C24.116D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):46C2 | 128,1825 | |
(C2xC42:C2):47C2 = C24.117D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):47C2 | 128,1826 | |
(C2xC42:C2):48C2 = C2xC22.11C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):48C2 | 128,2157 | |
(C2xC42:C2):49C2 = C2xC23.33C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):49C2 | 128,2159 | |
(C2xC42:C2):50C2 = C22.14C25 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):50C2 | 128,2160 | |
(C2xC42:C2):51C2 = C2xC22.19C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):51C2 | 128,2167 | |
(C2xC42:C2):52C2 = C2xC23.36C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):52C2 | 128,2171 | |
(C2xC42:C2):53C2 = C2xC22.29C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):53C2 | 128,2178 | |
(C2xC42:C2):54C2 = C2xC23.38C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):54C2 | 128,2179 | |
(C2xC42:C2):55C2 = C22.38C25 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):55C2 | 128,2181 | |
(C2xC42:C2):56C2 = C2xC22.34C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):56C2 | 128,2184 | |
(C2xC42:C2):57C2 = C2xC22.36C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):57C2 | 128,2186 | |
(C2xC42:C2):58C2 = C22.44C25 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):58C2 | 128,2187 | |
(C2xC42:C2):59C2 = C2xC22.45C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):59C2 | 128,2201 | |
(C2xC42:C2):60C2 = C2xC22.46C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):60C2 | 128,2202 | |
(C2xC42:C2):61C2 = C2xC22.47C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):61C2 | 128,2203 | |
(C2xC42:C2):62C2 = C2xC22.49C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):62C2 | 128,2205 | |
(C2xC42:C2):63C2 = C2xC22.50C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2):63C2 | 128,2206 | |
(C2xC42:C2):64C2 = C22.64C25 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):64C2 | 128,2207 | |
(C2xC42:C2):65C2 = C22.80C25 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):65C2 | 128,2223 | |
(C2xC42:C2):66C2 = C22.82C25 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):66C2 | 128,2225 | |
(C2xC42:C2):67C2 = C22.83C25 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):67C2 | 128,2226 | |
(C2xC42:C2):68C2 = C22.84C25 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2):68C2 | 128,2227 | |
(C2xC42:C2):69C2 = C2xC4xC4oD4 | φ: trivial image | 64 | (C2xC4^2:C2):69C2 | 128,2156 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C2xC42:C2).1C2 = C42.371D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).1C2 | 128,190 | |
(C2xC42:C2).2C2 = C42.42D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).2C2 | 128,196 | |
(C2xC42:C2).3C2 = C23.29C42 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).3C2 | 128,461 | |
(C2xC42:C2).4C2 = C2xC4.9C42 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).4C2 | 128,462 | |
(C2xC42:C2).5C2 = C2xC42:6C4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).5C2 | 128,464 | |
(C2xC42:C2).6C2 = C24.63D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).6C2 | 128,465 | |
(C2xC42:C2).7C2 = C24.132D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).7C2 | 128,467 | |
(C2xC42:C2).8C2 = C24.152D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).8C2 | 128,468 | |
(C2xC42:C2).9C2 = C24.162C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).9C2 | 128,472 | |
(C2xC42:C2).10C2 = C23.15C42 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).10C2 | 128,474 | |
(C2xC42:C2).11C2 = C2xM4(2):4C4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).11C2 | 128,475 | |
(C2xC42:C2).12C2 = C42.379D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).12C2 | 128,482 | |
(C2xC42:C2).13C2 = C42.95D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).13C2 | 128,530 | |
(C2xC42:C2).14C2 = C24.53(C2xC4) | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).14C2 | 128,550 | |
(C2xC42:C2).15C2 = C24.169C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).15C2 | 128,552 | |
(C2xC42:C2).16C2 = (C22xC4).276D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).16C2 | 128,554 | |
(C2xC42:C2).17C2 = C24.69D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).17C2 | 128,557 | |
(C2xC42:C2).18C2 = C24.70D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).18C2 | 128,558 | |
(C2xC42:C2).19C2 = C24.71D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).19C2 | 128,586 | |
(C2xC42:C2).20C2 = C24.73D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).20C2 | 128,605 | |
(C2xC42:C2).21C2 = C24.524C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).21C2 | 128,1006 | |
(C2xC42:C2).22C2 = C23.167C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).22C2 | 128,1017 | |
(C2xC42:C2).23C2 = C23.178C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).23C2 | 128,1028 | |
(C2xC42:C2).24C2 = C43:2C2 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).24C2 | 128,1030 | |
(C2xC42:C2).25C2 = C23.192C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).25C2 | 128,1042 | |
(C2xC42:C2).26C2 = C24.192C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).26C2 | 128,1046 | |
(C2xC42:C2).27C2 = C24.545C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).27C2 | 128,1048 | |
(C2xC42:C2).28C2 = C23.199C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).28C2 | 128,1049 | |
(C2xC42:C2).29C2 = C42.159D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).29C2 | 128,1055 | |
(C2xC42:C2).30C2 = C23.225C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).30C2 | 128,1075 | |
(C2xC42:C2).31C2 = C23.226C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).31C2 | 128,1076 | |
(C2xC42:C2).32C2 = C24.208C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).32C2 | 128,1078 | |
(C2xC42:C2).33C2 = C23.229C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).33C2 | 128,1079 | |
(C2xC42:C2).34C2 = C23.244C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).34C2 | 128,1094 | |
(C2xC42:C2).35C2 = C42.162D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).35C2 | 128,1128 | |
(C2xC42:C2).36C2 = C24.567C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).36C2 | 128,1170 | |
(C2xC42:C2).37C2 = C24.267C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).37C2 | 128,1171 | |
(C2xC42:C2).38C2 = C24.268C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).38C2 | 128,1173 | |
(C2xC42:C2).39C2 = C23.375C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).39C2 | 128,1207 | |
(C2xC42:C2).40C2 = C24.295C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).40C2 | 128,1210 | |
(C2xC42:C2).41C2 = C24.576C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).41C2 | 128,1216 | |
(C2xC42:C2).42C2 = C24.308C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).42C2 | 128,1231 | |
(C2xC42:C2).43C2 = C42.183D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).43C2 | 128,1331 | |
(C2xC42:C2).44C2 = C42.185D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).44C2 | 128,1343 | |
(C2xC42:C2).45C2 = C42.186D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).45C2 | 128,1353 | |
(C2xC42:C2).46C2 = C23.525C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).46C2 | 128,1357 | |
(C2xC42:C2).47C2 = C42.187D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).47C2 | 128,1360 | |
(C2xC42:C2).48C2 = C42.188D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).48C2 | 128,1361 | |
(C2xC42:C2).49C2 = M4(2)o2M4(2) | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).49C2 | 128,1605 | |
(C2xC42:C2).50C2 = C2xC23.38D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).50C2 | 128,1626 | |
(C2xC42:C2).51C2 = C2xC42.6C22 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).51C2 | 128,1636 | |
(C2xC42:C2).52C2 = C42.257C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).52C2 | 128,1637 | |
(C2xC42:C2).53C2 = C2xC23.25D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).53C2 | 128,1641 | |
(C2xC42:C2).54C2 = C2xM4(2):C4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).54C2 | 128,1642 | |
(C2xC42:C2).55C2 = C24.100D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).55C2 | 128,1643 | |
(C2xC42:C2).56C2 = C2xC42.7C22 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).56C2 | 128,1651 | |
(C2xC42:C2).57C2 = C42.259C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).57C2 | 128,1653 | |
(C2xC42:C2).58C2 = C42.262C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).58C2 | 128,1656 | |
(C2xC42:C2).59C2 = C2xC23.20D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).59C2 | 128,1820 | |
(C2xC42:C2).60C2 = C24.118D4 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).60C2 | 128,1827 | |
(C2xC42:C2).61C2 = C2xC23.32C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).61C2 | 128,2158 | |
(C2xC42:C2).62C2 = C2xC23.37C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).62C2 | 128,2175 | |
(C2xC42:C2).63C2 = C2xC22.35C24 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).63C2 | 128,2185 | |
(C2xC42:C2).64C2 = C2xC23.41C23 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 64 | (C2xC4^2:C2).64C2 | 128,2189 | |
(C2xC42:C2).65C2 = C22.47C25 | φ: C2/C1 → C2 ⊆ Out C2xC42:C2 | 32 | (C2xC4^2:C2).65C2 | 128,2190 | |
(C2xC42:C2).66C2 = C4xC42:C2 | φ: trivial image | 64 | (C2xC4^2:C2).66C2 | 128,1002 | |
(C2xC42:C2).67C2 = C2xC8o2M4(2) | φ: trivial image | 64 | (C2xC4^2:C2).67C2 | 128,1604 |